Towards Vulnerability Discovery Using Staged Program Analysis

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents multiple challenges not the least of which is understanding what makes a bug exploitable and conveying this information to the developer. In this paper, we present the design and implementation of a practical vulnerability assessment framework, called Melange. Melange performs data and control flow analysis to diagnose potential security bugs, and outputs well-formatted bug reports that help developers understand and fix security bugs. Based on the intuition that real-world vulnerabilities manifest themselves across multiple parts of a program, Melange performs both local and global analyses. To scale up to large programs, global analysis is demand-driven. Our prototype detects multiple vulnerability classes in C and C++ code including type confusion, and garbage memory reads. We have evaluated Melange extensively. Our case studies show that Melange scales up to large codebases such as Chromium, is easy-to-use, and most importantly, capable of discovering vulnerabilities in real-world code. Our findings indicate that static analysis is a viable reinforcement to the software testing tool set.Comment: A revised version to appear in the proceedings of the 13th conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 201

Primary group size, social support, gender and future mental health status in a prospective study of people living in private households throughout Great Britain

Background. Structural characteristics of social networks such as primary group size have received less attention than measures of perceived social support. Previous research suggests that associations between social network size and later common mental disorder status may differ according to sex and initial mental state. Method. Adults participating in the 2000 British National Household Survey of psychiatric morbidity were randomly selected for follow-up 18 months later. The revised Clinical Interview Schedule (CIS-R) and the Interview Measure of Social Relations (IMSR) were administered at baseline and follow-up. Primary group size was defined as the total number of close relatives and friends. A four-level scale of common mental disorder was modelled with ordinal logistic regression, based on weighted data (n=2413). Findings. After adjusting for confounders, a primary group size of three or less at time 1 predicted worse mental health at time 2. This effect was greatest in men who were initially non-cases at baseline (averaged odds 4.5) and in women who were initially cases at baseline (average odds 2.9). Primary group size at time 2 was significantly predicted by level of common mental disorder at time 1 in women but not in men. Thus, confounding by baseline disorder does not explain risk of developing poor mental health in socially isolated men. Conclusion. This study replicates the strong effects of primary group size on future mental health that emerge when men and women are studied separately and when subjects are categorized according to baseline mental health status

Characterization of low thermal conductivity PAN-based carbon fibers

The microstructure and surface chemistry of eight low thermal conductivity (LTC) PAN-based carbon fibers were determined and compared with PAN-based fibers heat treated to higher temperatures. Based on wide-angle x ray diffraction, the LTC PAN fibers all appear to have a similar turbostratic structure with large 002 d-spacings, small crystallite sizes, and moderate preferred orientation. Limited small-angle x ray scattering (SAXS) results indicate that, with the exception of LTC fibers made by BASF, the LTC fibers do not have well developed pores. Transmission electron microscopy shows that the texture of the two LTC PAN-based fibers studied (Amoco T350/23X and /25X) consists of multiple sets of parallel, wavy, bent layers that interweave with each other forming a complex three dimensional network oriented randomly around the fiber axis. X ray photoelectron spectroscopy (XPS) analysis finds correlations between heat treated temperatures and the surface composition chemistry of the carbon fiber samples

The population impact of common mental disorders and long-term physical conditions on disability and hospital admission

Background: Long-term physical conditions (LTCs) consume the largest share of healthcare budgets. Although common mental disorders (CMDs) and LTCs often co-occur, the potential impact of improved mental health treatment on severe disability and hospital admissions for physical health problems remains unknown. Method: A cross-sectional study of 7403 adults aged 16–95 years living in private households in England was performed. LTCs were ascertained by prompted self-report. CMDs were ascertained by structured clinical interview. Disability was assessed using questions about problems with activities of daily living. Population impact and potential preventive gain were estimated using population-attributable fraction (PAF), and conservative estimates were obtained using ‘treated non-cases’ as the reference group. Results: Of the respondents, 20.7% reported at least one LTC. The prevalence of CMDs increased with the number of LTCs, but over two-thirds (71.2%) of CMD cases in people with LTCs were untreated. Statistically significant PAFs were found for CMDs and recent hospital admission [13.5%, 95% confidence intervals (CI) 6.6–20.0] and severe disability (31.3%, 95% CI 27.1–35.2) after adjusting for LTCs and other confounders. Only the latter remained significant when using the most conservative estimate of PAF (21.8%, 95% CI 14.0–28.9), and this was reduced only slightly when considering only participants with LTCs (18.5%, 95% CI 7.9–27.9). Conclusions: Better treatments for CMDs in people with LTCs could achieve almost the same population health gain in terms of reducing severe disability as those targeted at the entire population. Interventions to reduce the prevalence of CMDs among people with LTCs should be part of routine medical care

Writing in your own voice: An intervention that reduces plagiarism and common writing problems in students' scientific writing.

In many of our courses, particularly laboratory courses, students are expected to engage in scientific writing. Despite various efforts by other courses and library resources, as instructors we are often faced with the frustration of student plagiarism and related writing problems. Here, we describe a simple Writing in Your Own Voice intervention designed to help students become more aware of different types of plagiarism and writing problems, avoid those problems, and practice writing in their own voice. In this article, we will introduce the types of plagiarism and writing problems commonly encountered in our molecular biology laboratory course, the intervention, and the results of our study. From the evaluation of 365 student reports, we found the intervention resulted in nearly 50% fewer instances of plagiarism and common writing problems. We also observed significantly fewer instances of severe plagiarism (e.g. several sentences copied from an external source). In addition, we find that the effects last for several weeks after the students complete the intervention assignment. This assignment is particularly easy to implement and can be a very useful tool for teaching students how to write in their own voices. © 2019 International Union of Biochemistry and Molecular Biology, 47(5):589-598, 2019

Alkane Biosynthesis in Bacteria

This is the author accepted manuscriptBiofuels are a commercial reality with ethanol comprising approximately 10% of the US retail fuel market, and biodiesels contributing a little under 5% to the EU retail fuel market. These biofuels are derived from the fermentation of sugars by yeast (ethanol) and from the chemical modification of animal fats and plant oils (biodiesel). However, these biofuel molecules are chemically distinct from the petroleum fuels that they are blended with. Petroleum-based fuels are predominantly composed of alkane and alkene hydrocarbons. These differences impact on fuel properties and infrastructure compatibility resulting in a “blend wall” that – without significant infrastructure realignment and associated costs – limits the use of biofuels. For this reason, there is great interest in biosynthetic routes for alkane and alkene production. Here we will review the known biological routes to alkane/alkene biosynthesis with a focus on bacterial alkane and alkene biosynthetic pathways. Specifically, we will review pathways for which the underlying genetic components have been identified. We will also investigate the development of engineered metabolic pathways that permit the production of alkanes and alkenes that are not naturally synthesized in bacteria (heterologous production) but are suitable for industrial commercial application. Finally, we will highlight some of the challenges facing this research area as it moves from proof-of-principle studies toward industrialization

First Stereoscopic Coronal Loop Reconstructions from Stereo Secchi Images

We present the first reconstruction of the three-dimensional shape of magnetic loops in an active region from two different vantage points based on simultaneously recorded images. The images were taken by the two EUVI telescopes of the SECCHI instrument onboard the recently launched STEREO spacecraft when the heliocentric separation of the two space probes was 12 degrees. We demostrate that these data allow to obtain a reliable three-dimensional reconstruction of sufficiently bright loops. The result is compared with field lines derived from a coronal magnetic field model extrapolated from a photospheric magnetogram recorded nearly simultaneously by SOHO/MDI. We attribute discrepancies between reconstructed loops and extrapolated field lines to the inadequacy of the linear force-free field model used for the extrapolation.Comment: 6 pages, 5 figure

Properties of Intercalated 2H-NbSe2, 4Hb-TaS2 and 1T-TaS2

The layered compounds 2H-NbSe, 24Hb-TaS, 2and 1T-TaS2 have been intercalated with organic molecules; and the resulting crystal structure, heat capacity, conductivity, and superconductivity have been studied. The coordination in the disulfide layers was found to be unchanged in the product phase. Resistance minima appear and the superconducting transition temperature is reduced in the NbSe2 complex. Conversely, superconductivity is induced in the 4Hb-TaS2 complex. Corresponding evidence of a large change of the density of states, negative for 2H-NbSe2 and positive for 4Hb-TaS2, was also observed upon intercalation. The transport properties of all the intercalation complexes show a pronounced dependence upon the coordination of the transition metal

The NASA-UC-UH Eta-Earth Program: IV. A Low-mass Planet Orbiting an M Dwarf 3.6 PC from Earth

We report the discovery of a low-mass planet orbiting Gl 15 A based on radial velocities from the Eta-Earth Survey using HIRES at Keck Observatory. Gl 15 Ab is a planet with minimum mass Msini = 5.35 $\pm$ 0.75 M$_\oplus$, orbital period P = 11.4433 $\pm$ 0.0016 days, and an orbit that is consistent with circular. We characterize the host star using a variety of techniques. Photometric observations at Fairborn Observatory show no evidence for rotational modulation of spots at the orbital period to a limit of ~0.1 mmag, thus supporting the existence of the planet. We detect a second RV signal with a period of 44 days that we attribute to rotational modulation of stellar surface features, as confirmed by optical photometry and the Ca II H & K activity indicator. Using infrared spectroscopy from Palomar-TripleSpec, we measure an M2 V spectral type and a sub-solar metallicity ([M/H] = -0.22, [Fe/H] = -0.32). We measure a stellar radius of 0.3863 $\pm$ 0.0021 R$_\odot$ based on interferometry from CHARA.Comment: ApJ accepted, 11 pages, 8 figures, 3 table